221. Probabilistic Methods for Algorithmic Discrete Mathematics
پدیدآورنده : edited by Michel Habib, Colin McDiarmid, Jorge Ramirez-Alfonsin, Bruce Reed.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Algebra-- Data processing.,Combinatorics.,Computer science.,Distribution (Probability theory).,Mathematics.
222. Proceedings of the Third International Scientific Conference "Intelligent Information Technologies for Industry" (IITI'18) :
پدیدآورنده : edited by Ajith Abraham, Sergey Kovalev, Valery Tarassov, Vaclav Snasel, Andrey Sukhanov.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Artificial intelligence-- Industrial applications, Congresses.,Artificial intelligence.,Engineering.,Industrial engineering.
رده :
TS176
.
I582
2018
223. Proceedings of the first International Symposium on Impact and Friction of Solids, Structures and Intelligent Machines :
پدیدآورنده : editor, Ardéshir Guran.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Panagiotopoulos, P. D.,1950-,Panagiotopoulos, P. D.,1950-,Friction, Congresses.,Impact, Congresses.,Friction.,Impact.,SCIENCE-- Nanoscience.
رده :
TA354
.
I565
1998eb
224. Proceedings of the 2nd International Conference on Data Engineering and Communication Technology :
پدیدآورنده : Anand J. Kulkarni, Suresh Chandra Satapathy, Tai Kang, Ali Husseinzadeh Kashan, editors.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Computer networks, Congresses.,Information technology, Congresses.,Artificial Intelligence (incl. Robotics).,Communications Engineering, Networks.,Computational Intelligence.,Systems and Data Security.,Artificial intelligence.,Communications engineering / telecommunications.,Computer networks.,Computer security.,COMPUTERS-- Computer Literacy.,COMPUTERS-- Computer Science.,COMPUTERS-- Data Processing.,COMPUTERS-- Hardware-- General.,COMPUTERS-- Information Technology.,COMPUTERS-- Machine Theory.,COMPUTERS-- Reference.,Information technology.
رده :
T58
.
5
225. Progress in computing, analytics and networking :
پدیدآورنده : Prasant Kumar Pattnaik, Siddharth Swarup Rautaray, Himansu Das, Janmenjoy Nayak, editors.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Cloud computing, Congresses.,Computer networks, Congresses.,Cloud computing.,Computer networks.,COMPUTERS-- Computer Literacy.,COMPUTERS-- Computer Science.,COMPUTERS-- Data Processing.,COMPUTERS-- Hardware-- General.,COMPUTERS-- Information Technology.,COMPUTERS-- Machine Theory.,COMPUTERS-- Reference.
رده :
TK5105
.
5
226. Rational Drug Design
پدیدآورنده : edited by Donald G. Truhlar, W. Jeffrey Howe, Anthony J. Hopfinger, Jeff Blaney, Richard A. Dammkoehler.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Mathematics.,Numerical analysis.
227. Reachability Problems
پدیدآورنده :
کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع : Computer systems -- Verification -- Congresses,Decidability (Mathematical logic) --Congresses,Graph theory -- Data processing -- Congresses,گرافها -- دادهپردازی -- کنگرهها
رده :
E-Book
,
228. Research in computational topology /
پدیدآورنده : Erin Wolf Chambers, Brittany Terese Fasy, Lori Ziegelmeier editors.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Algorithms.,Computational complexity.,Geometry-- Data processing-- Research.,Topology-- Data processing-- Research.,Algorithms.,Computational complexity.,MATHEMATICS-- Topology.
رده :
QA611
229. Research on Tibetan spelling formal language and automata with application /
پدیدآورنده : Nyima Tashi.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Computational linguistics.,Electronic data processing.,Information technology-- China-- Tibet Autonomous Region.,Tibetan language-- Orthography and spelling-- Data processing.,Computational linguistics.,Electronic data processing.,Information technology.,LANGUAGE ARTS & DISCIPLINES-- Linguistics-- Historical & Comparative.,China, Tibet Autonomous Region., 7
رده :
P98
.
45
.
T58
230. Robotics :
پدیدآورنده : Bruno Siciliano [and others].
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Manipulators (Mechanism),Robots-- Control systems.,Robots-- Motion.,Ingénierie.,Manipulators (Mechanism),Manipulators (Mechanism),Robots-- Control systems.,Robots-- Control systems.,Robots-- Motion.,Robots-- Motion.
رده :
TJ211
.
35
.
S43
2009eb
231. Robotics, Vision and Control :
پدیدآورنده : by Peter Corke.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Artificial intelligence.,Automatic control.,Automation.,Cognitive psychology.,Engineering.,Image processing.,Robotics.,Artificial intelligence.,Automatic control.,Automation.,Cognitive psychology.,Engineering.,Image processing.,Robotics.
رده :
T59
.
5
232. Robotics, vision and control :
پدیدآورنده : Peter Corke.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : MATLAB.,MATLAB.,Computer vision.,Robots-- Control systems.,Computer vision.,Robots-- Control systems.
رده :
TJ211
.
35
.
C67
2017eb
233. Robotics, vision and control :
پدیدآورنده : Peter Corke.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : MATLAB.,Robots-- Sistemes de control.,Visió per ordinador.
234. Schaum`s outline of theory and problems of Introduction to computer science
پدیدآورنده : Francis Scheid
کتابخانه: کتابخانه موسسه روانشناسی و علوم تربیتی دانشگاه تهران (شهید دقایقی) (طهران)
موضوع : Data Processing
235. Sequential and parallel algorithms and data structures :
پدیدآورنده : Peter Sanders, Kurt Mehlhorn, Martin Dietzfelbinger, Roman Dementiev.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Algorithms.,Computer network architectures.,Data structures (Computer science),Algorithms.,Computer network architectures.,Data structures (Computer science)
رده :
QA76
.
6
236. Shortest path solvers :
پدیدآورنده : Andrew Adamatzky, editor.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Cellular automata.,Computer algorithms.,Mathematical optimization.,Artificial intelligence.,Cellular automata.,Computer algorithms.,COMPUTERS-- General.,Cybernetics & systems theory.,Mathematical optimization.
رده :
QA76
.
9
.
A43
237. Spanning trees and optimization problems
پدیدآورنده : Wu, Bang Ye.
کتابخانه: كتابخانه مركزي و مركز اسناد دانشگاه صنعتي خواجه نصير الدين طوسى (طهران)
موضوع : Data processing ، Trees )Graph theory(,، Mathematical optimization
رده :
QA
166
.
2
.
W8
238. Statistical analysis and data display :
پدیدآورنده : Richard M. Heiberger, Burt Holland.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : SAS (Computer file),Mathematical statistics-- Data processing.,R (Computer program language),Statistics-- Data processing.,Mathematical Statistics.,Mathematics.,Physical Sciences & Mathematics.,Statistical Theory and Methods.,Statistics and Computing/Statistics Programs.,Statistics for Engineering, Physics, Computer Science, Chemistry and Earth Sciences.,Statistics.,Mathematical statistics-- Data processing.,R (Computer program language),Statistics-- Data processing.
رده :
QA276
.
4
239. Statistical atlases and computational models of the heart :
پدیدآورنده : Oscar Camara [and five others], eds.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Computer vision.,Electronic data processing.,Information storage and retrieval systems.
240. Symbolic Algebraic Methods and Verification Methods
پدیدآورنده : edited by Götz Alefeld, Jiří Rohn, Siegfried Rump, Tetsuro Yamamoto.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Algebra -- Data processing.,Computer science.,Mathematics.
رده :
QA76
.
9
.
M35
E358
2001